针对RSA-CRT数字签名的光故障攻击研究

通过研究密码芯片SRAM存储单元构造,利用激光改变进行运算的SRAM存储单元的逻辑状态,分析光注入对SRAM存储单元的影响。以Montgomery乘的 RSA－CRT数字签名算法为攻击对象,分析其算法的实现过程和故障注入机理。针对密码芯片实现的8位RSA－CRT签名算法,使用半导体激光作为注入光源,搭建光注入实验平台,在计算Sq时刻进行故障注入,从而得到故障签名,通过分析故障签名与N的关系,成功的获得了大素数q,验证了光故障攻击的有效性。     

Comparing the expressiveness of downward fragments of the relation algebra with transitive closure on trees

Motivated by the continuing interest in the tree data model, we study the expressive power of downward navigational query languages on trees and chains. Basic navigational queries are built from the identity relation and edge relations using composition and union. We study the effects on relative expressiveness when we add transitive closure, projections, coprojections, intersection, and difference; this for Boolean queries and path queries on labeled and unlabeled structures. In all cases, we present the complete Hasse diagram. In particular, we establish, for each query language fragment that we study on trees, whether it is closed under difference and intersection.     

GPR target detection using a neural network classifier designed by a multi-objective genetic algorithm

Ground Penetrating Radar (GPR) is an electromagnetic sensing technology employed for localization of underground utilities, pipes, and other types of objects. The radargrams typically obtained have a high dimensionality, containing a number of signatures with hyperbolic pattern shapes, and can be processed to retrieve information about the target’s locations, depths and material type of underground soil. The classical Hough Transform approach used to reconstruct these hyperbola shapes is computationally expensive, given the large dimensionality of the radargrams. In literature, several approaches propose to first approximate the location of hyperbolas to small segments through a classification stage, before applying the Hough transform over these segments. However, the published classifiers designed for this task present a relatively complex architecture.Aiming at an improved target localization, we propose an alternative classification methodology. The goal is to classify windows of GPR radargrams into two classes (with or without target) using a neural network radial basis function (RBF), designed via a multi-objective genetic algorithm (MOGA). To capture samples’ fine details, high order statistic cumulant features (HOS) were used. Feature selection was performed by MOGA, with an optional prior reduction using a mutual information (MIFS) approach. The obtained results demonstrate improvement of the classification performance when compared with other models designed with the same data and are among the best results available in the literature, albeit the large reduction in classifier complexity.     

Robustly chain transitive sets with orbital shadowing diffeomorphisms

Let f be a diffeomorphism of a closed C ^∞ manifold M, and let Λ???M be a closed f-invariant set. We show that if f?|_Λ is robustly chain transitive with orbital shadowing property, then Λ is a basic set.     

模糊聚类分析和排序在研究生招生中的应用

模糊聚类分析按一定要求和规律对模糊性问题加以处理,通常先建立模糊相似关系而后按实际要求进行分类。文中针对研究生招生工作,组建模糊数学模型,在用传递闭包法求得聚类顺序的基础上,根据"物以类聚"的思想,提出了基于模糊聚类的两种多指标综合排序方法,为以后解决同类问题提供了新思路。     

符合FDA 21 CFR Part 11条款的系统搭建与验证

根据FDA21 CFR Part 11条款的规范要求,在色谱仪器综合系统中,建立符合该条款的系统并对其进行验证,并对过程中出现的问题进行总结。使系统达到精确、可靠、持续稳定,具有识别非法记录或被篡改记录的能力。     

The efficiency of systematic sampling in stereology — reconsidered

In the present paper, we summarize and further develop recent research in the estimation of the variance of stereological estimators based on systematic sampling. In particular, it is emphasized that the relevant estimation procedure depends on the sampling density. The validity of the variance estimation is examined in a collection of data sets, obtained by systematic sampling. Practical recommendations are also provided in a separate section.     

Times to breakage versus times for shock wave reflectance in decoupled explosive rock fracturing

Abstract

One result of this research showed the relationship of the crack propagation into the burden as decoupling increased from 1 to 3. The resulting data indicated that the explosive generated gas pressure was the dominate parameter for breaking rock in confined boreholes. The shock energy did not have time to play an effective role in burden breakage, for by the time the stress wave returned to the face, the burden had broken under pressure.     

可证明安全的有向传递签名方案

2002年,Micali和Rivest首次提出了传递签名的概念,构造了第一个无向传递签名方案,并把构造有向传递签名方案作为公开问题。为了解决上述问题,提出了一个方向状态函数的概念,用于表示有向图节点之间的方向关系,使传递签名的明文空间扩展到任意的复杂有向图。结合节点签名范例,利用节点秘密值,构造了一个基于离散对数困难问题的有向传递签名方案,并在随机预言模型下证明了该方案在自适应选择消息攻击下是安全的。     

程序控制流检测算法优化

暴露在太空辐射环境下的星载计算机,其电子元器件可能因受到高能带电粒子的轰击而造成硬件系统的瞬时故障,所以,需要使用容错技术来提高其可靠性。对一种面向硬件瞬时故障的纯软件控制流检测算法RSCFC(Relationship Signatures for Control Flow Checking)进行了有效的改进,通过对标签S进行分段编码,克服了原算法中存在的待加固程序的基本块总数受机器字长限制的问题,并给出了具体的计算证明。计算结果表明,如果机器字长为64位,那么改进后的算法在设定前提下能单层加固程序的最大基本块数可以超过218。与RSCFC相比,改进后的算法在加固基本块总数比较大的程序时,性能开销明显降低而且检错能力保持不变。